退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:消息传递程序的静态源代码验证
Rupak Majumdar; Zilong Wang;
机译:基于协议的消息传递并行程序验证
机译:基于数据流分析的消息传递接口程序的静态跟踪算法
机译:消息传递程序的静态来源验证
机译:用于消息传递接口和线程程序的有效动态验证的启发式方法。
机译:在云环境中基于源的数据完整性检查和验证
机译:显式并行消息传递程序静态分析的程序流程图构造
机译:用于通过静态验证设备进行静态验证的对象范围提取程序,静态验证系统,对象范围提取方法以及用于提取对象范围的对象范围提取程序
机译:静态验证程序,静态验证装置和静态验证方法
机译:静态验证程序,静态验证设备和静态验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。